Skip to content

Fix/aqua remote type list#1251

Merged
hrcornejo merged 6 commits intomasterfrom
fix/aqua-remote-type-list
Dec 16, 2025
Merged

Fix/aqua remote type list#1251
hrcornejo merged 6 commits intomasterfrom
fix/aqua-remote-type-list

Conversation

@hrcornejo
Copy link
Contributor

No description provided.

@hrcornejo hrcornejo merged commit b6922c7 into master Dec 16, 2025
3 checks passed
@hrcornejo hrcornejo deleted the fix/aqua-remote-type-list branch December 16, 2025 08:42
BraisVQ pushed a commit that referenced this pull request Dec 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants